#include <stdio.h>

void main(){
    int k=10;
    printf("123456");
    printf("%d  ",k);
    int i=0;
    while (k=1&&i<10){
        k=k-1;
        printf("%d",k=2);
        i++;
    }
}